Proposition 2.1.11
Let be a unital C-star-Algebra. Let be an invertible element in , and take with . Then is invertible,and in